#include "rtl/rtl.h"
#include "cpu/exec.h"

void raise_intr(uint32_t NO, vaddr_t epc) {
  /* TODO: Trigger an interrupt/exception with ``NO''.
   * That is, use ``NO'' to index the IDT.
   */
    // if(decinfo.isa.instr.imm31_12 == 0) { //ecall
    //     rtl_csrwi(CSR_SCAUSE,0x09,4);
    //     rtl_csrw(CSR_SEPC,pc,4);
    //     rtl_csrr(&s0,CSR_STVEC,4);
    //     rtl_j(s0);
    // }else if(decinfo.isa.instr.rs2 == 2 && decinfo.isa.instr.funct7 == 8) { //SRET
    //     rtl_csrr(&s0,CSR_SEPC,4);
    //     rtl_j(s0);
    // }
}

bool isa_query_intr(void) {
  return false;
}
